1. Computing in Horn Clause Theories
پدیدآورنده : by Peter Padawitz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988